Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
281	Content-and-Structure Queries in an XML-based Information Retrieval System Course Project, CS741: Non-traditional Databases (Instructor: Prof. Frank W. Tompa) Stefan B¨ uttcher Add to Reading List Source URL: stefan.buettcher.org Language: English - Date: 2005-01-28 00:22:18 Data management Query languages Functional languages Markup languages XQuery XPath Okapi BM25 XML database Ranking Information retrieval Document-oriented database Document retrieval
282	RScheme The Implementation Donovan Kolbly RS Add to Reading List Source URL: www.rscheme.org Language: English - Date: 2014-10-18 11:53:03 Functional languages Object-oriented programming languages Procedural programming languages Lisp Programming languages Readevalprint loop Eval Scheme D Interpreter Subroutine Common Lisp
283	Programovací jazyky F# a OCaml Chapter 3. Composing primitive types into data Data types Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-19 17:17:35 Functional languages Data types Object-oriented programming languages C++ Procedural programming languages OCaml Caml Const Tagged union Higher-order function C++ classes ALGOL 68
284	Building XML Query Forms and Reports with XQForms* Michalis Petropoulos† Yannis Papakonstantinou Vasilis Vassalos Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2006-01-19 08:46:22 Query languages Markup languages Functional languages XQuery XML Schema Database HTML element Annotation Oxygen XML Editor SPARQL
285	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2015-03-17 08:21:04 Type theory Functional languages FAUST Eval Dependent type Coq NyquistShannon sampling theorem Mathematical proof FeitThompson theorem Functional programming
286	A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Source code Programming language implementation Functional languages Logic in computer science Programming language semantics Scheme Semantics Partial evaluation Programming language Macro Interpreter Action semantics
287	Programovací jazyky F# a OCaml Chapter 6. Sequence expressions and computation expressions (aka monads) Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-19 17:17:35 Functional languages OCaml Caml Sequence Monad ML Seq
288	Formal Methods for XML: Algorithms & Complexity S. Margherita di Pula SeptemberThomas Schwentick Add to Reading List Source URL: edbtss04.dia.uniroma3.it Language: English - Date: 2004-09-14 11:37:07 Markup languages Functional languages Query languages Transformation languages XQuery XSLT XPath XML schema XSL
289	logo_spes-2020_70x45mm_rgb Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-12 04:10:38 Functional languages 3D printing Wavefront .obj file JavaScript OBJ
290	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN AND JOHN COWAN (Editors) AARON W. HSU ALARIC SNELL-PYM ARTHUR A. GLECKLER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:19:59 Object-oriented programming languages Functional languages Subroutines Data types Procedural programming languages Scheme Lisp Anonymous function Scope Lambda calculus Free variables and bound variables Expression

UPDATE